constraint n. 1.強(qiáng)迫,拘束。 2.約束,壓抑,拘泥。 3.強(qiáng)制力。 4.緊張感[狀態(tài)]。 by constraint 勉強(qiáng),強(qiáng)迫。 feel constraint覺(jué)得局促不安,感受壓迫。 show constraint顯得局促。 under [in] constraint 被迫,不得不;被束縛著。
logic n. 1.邏輯,理論學(xué)。 2.推理[方法];邏輯性,條理性。 3. 威力,壓力,強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯,惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒(méi)有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實(shí)的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭(zhēng)]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien 前者是將定性仿真算法看作一類(lèi)約束滿足問(wèn)題,用約束邏輯程序加以改進(jìn),不僅為解決定性仿真問(wèn)題提供了邏輯框架,而且也是一種規(guī)范化的程序描述語(yǔ)言;模糊定性仿真算法則是對(duì)純定性仿真算法在知識(shí)描述、狀態(tài)轉(zhuǎn)移規(guī)則、過(guò)濾算法等方面的改進(jìn),是一類(lèi)半定量描述方法,有利于在定性仿真領(lǐng)域綜合定量信息,同時(shí)提高算法的效率。
百科解釋
Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses.